prenex form

[计] 前束式,前束形